structure S =
struct
  val f : int -> int
end
